/*
	page_table_control.c

	contains page table control related functionality

	Author: Aidan Goddard 16/12/13
*/
